
#savefileto-button {
    -moz-user-focus: ignore;
}

#savefileto-button > hbox.button-box {
    min-width: 10em;
}

#savefileto-button > hbox > hbox > label.button-text {
    padding-left: 0.5em;
    padding-right: 1em;
}
